Llistar TÃtols per Matèria "Satisfacibilidad módulo teorias"
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
DUGi
Portal de cerca conjunta als documents digitals de la UdG
Matèries 
Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automà tica Programació de tasques Programación de tareas Pseudo-Boolean constraints Restricciones pseudo-booleanas Restriccions pseudo-Booleanes Satisfactibilitat mòdul teories
Autors
Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
Suy Franch, Josep Villaret i Ausellé, Mateu Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Coll Caballero, Jordi